autocmd({ "CursorMoved", "CursorMovedI" }, {
  buffer = 0,
  command = "CoqToLine",
})
